Description Logics with Fuzzy Concrete Domains
نویسنده
چکیده
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.
منابع مشابه
Learning in Description Logics with Fuzzy Concrete Domains
We present a fuzzy version of description logics with concrete domains. Main features are: (i) concept constructors are based on t-norm, t-conorm, negation and implication; (ii) concrete domains are fuzzy sets; (iii) fuzzy modifiers are allowed; and (iv) the reasoning algorithm is based on a mixture of completion rules and bounded mixed integer programming.
متن کاملIntegrating Bipolar Fuzzy Mathematical Morphology in Description Logics for Spatial Reasoning
Bipolarity is an important feature of spatial information, involved in the expression of preferences and constraints about spatial positioning or in pairs of opposite spatial relations such as left and right. Another important feature is imprecision which has to be taken into account to model vagueness, inherent to many spatial relations (as for instance vague expressions such as close to, to t...
متن کاملReasoning in ALC with Fuzzy Concrete Domains
In the context of Description Logics (DLs) concrete domains allow to model concepts and facts by the use of concrete values and predicates between them. For reasoning in the DL ALC with general TBoxes concrete domains may cause undecidability. Under certain restrictions of the concrete domains decidability can be regained. Typically, the concrete domain predicates are crisp, which is a limitati...
متن کاملReflections on Modelling Vagueness in Description Logics
Description logics are a popular, and widely used, formalism for describing domain knowledge in a structured way. To cope with the vagueness of real-world knowledge, several fuzzy description logics have already been proposed. In this contribution, we argue that, rather than modelling all vagueness in a generalized description logic, it may be more natural to encode vague attributes in concrete...
متن کاملAdapting Optimization Techniques to Description Logics with Concrete Domains
In this paper, we demonstrate that the main standard optimization techniques dependency directed backtracking and model merging can be adapted to description logics with concrete domains. We propose algorithms for these techniques for the logics ALC(D) and ALCRP(D). Important results of this study are (1) a new requirement for concrete domains in order to enable dependency directed backtracking...
متن کامل